package engine;

import java.util.Hashtable;

import javax.swing.JLabel;
import javax.swing.JSlider;
import javax.swing.SwingConstants;

public class SchedulerSlider extends JSlider {

	/**
	 * 
	 */
	private static final long serialVersionUID = -5591439208368228848L;

	public SchedulerSlider() {
		super(SwingConstants.HORIZONTAL,1,4,2);
		Hashtable<Integer,JLabel> labelTable = new Hashtable<Integer,JLabel>();
		labelTable.put(new Integer(1), new JLabel("Pause"));
		labelTable.put(new Integer(2), new JLabel("Step-by-step"));
		labelTable.put(new Integer(3), new JLabel("Slow"));
		labelTable.put(new Integer(4), new JLabel("Fast"));

		setLabelTable(labelTable);
		setMinorTickSpacing(1);
		setPaintTicks(true);
		setPaintLabels(true);
		
	}
}
